4521. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
4522. Verification of computer codes in computational science and engineering
پدیدآورنده: Patrick Knupp, Kambiz Salari
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Numerical calculations -- Verification,، Differential equations, Partial -- Numerical solutions
رده :
QA
297
.
K59V46
4523. Verification of computer codes in computational science and engineering
پدیدآورنده: Knupp, Patrick M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Numerical calculations-- Verification,، Differential equations, Partial-- Numerical solutions
رده :
QA
297
.
K575
2003
4524. Virtual reality :
پدیدآورنده: editors, Philippe Fuchs, Guillaume Moreau, Pascal Guitton
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Virtual reality
رده :
QA76
.
9
.
C65
V5724
2011
4525. Vision algorithms : theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings
پدیدآورنده: Bill Triggs, Andrew Zisserman, Richard Szeliski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics --Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
رده :
QA
76
.
L28
Vol
.
1883
4526. Visual reasoning with diagrams
پدیدآورنده: Amirouch Moktefi, Sun-Joo Shin, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic diagrams,Philosophy,Reasoning
رده :
BC199
.
A26
.
M384
2013
4527. Visual representations and interpretations
پدیدآورنده: Ray Paton and Irene Neilson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Virtual reality.,Visualization.
رده :
T385
.
R397
1999
4528. Visualization and Mathematics III
پدیدآورنده: edited by Hans-Christian Hege, Konrad Polthier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Global differential geometry.,Mathematics.,Numerical analysis.,Topology.,Visualization.
4529. Visualization and verbalization of data /
پدیدآورنده: edited by Jörg Blasius (University of Bonn, Germany), Michael Greenacre (Universitat Pompeu Fabra, Barcelona, Spain).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Correspondence analysis (Statistics),Information visualization.,Multiple comparisons (Statistics),Correspondence analysis (Statistics),Datenanalyse.,Information visualization.,Informationsgrafik.,MATHEMATICS / Probability & Statistics / General.,Multiple comparisons (Statistics),Visualisierung.
4530. Visualization of fields and applications in engineering
پدیدآورنده: / Stephen Tou
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering mathematics,Fluid dynamics, Mathematics,Electromagnetic fields, Mathematical models,Gravitational waves, Mathematical models,Information visualization,TECHNOLOGY & ENGINEERING / Imaging Systems, bisacsh
رده :
TA330
.
T68
2011
4531. Vite matematiche :
پدیدآورنده: a cura di C. Bartocci [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematicians-- History-- 20th century.,Mathematicians, Biography.,Mathematics-- History-- 20th century.,Mathématiciens.,Mathématiques.,BIOGRAPHY & AUTOBIOGRAPHY-- Science & Technology.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Sciences humaines.,Sciences sociales.
رده :
QB28
.
V58
2007eb
4532. VizSEC 200
پدیدآورنده: / John R. Goodall, Gregory Conti, Kwan-Liu Ma, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer security--Congresses
رده :
QA
,
76
.
9
,.
A25
,
V59
,
2007eb
4533. Voxel-man 3D-navigator [electronic resource]
پدیدآورنده: / IMDM, University Hospital Hamburg- Eppendorf
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Brain- anatomy and histology- CD- ROM,Skull- anatomy and histology- CD- ROM,Brain- anatomy and histology- Atlases,Skull- anatomy and histology- Atlases
4534. Voxel-man 3D-navigator [electronic resource]
پدیدآورنده: / IMDM, University Hospital Eppendorf
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Thorax- anatomy and histology- Atlases,Abdomen- anatomy and histology- Atlases,Pelvis- anatomy and histology- Atlases
4535. Walter Gautschi.
پدیدآورنده: edited by Claude Brezinski, Ahmed Sameh
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Difference equations.,Differential equations.,Mathematical Computing.
رده :
QA431
4536. Wavelet analysis and its applications
پدیدآورنده: / Yuan Y. Tang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Wavelets (Mathematics)- Congresses
4537. Wavelet analysis and its applications
پدیدآورنده: / Yuan Y. Tang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Wavelets (Mathematics)--Congresses
رده :
QA
,
403
.
3
,.
W32
,
2001
4538. Wavelet analysis and its applications : second international conference, WAA 2001, Hong Kong, China, December 18-20, 2001 : proceedings
پدیدآورنده: Yuan Y. Tang...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programs,Congresses ، Wavelets )Mathematics(
رده :
QA
76
.
L28
Vol
.
2251
4539. Wavelet image and video compression
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Image processing-- Digital techniques-- Mathematics,، Image compression,، Wavelets )Mathematics(,، Video compression
رده :
TA
1637
.
W396
1998
